Robin Milner
Arthur John Robin Gorell Milner
https://ja.wikipedia.org/wiki/ロビン%E3%83%BBミルナー